proper set

正常集